Finite State Boosts Reachability Speed and Coverage